"Amir Pnueli" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Zohar Manna, Doron A. Peled

Категория: Компьютеры

3.93 Mb

#2

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)

Amir Pnueli, Irina Virbitskaite, Andrei Voronkov

Категория: Компьютеры

6.95 Mb

#3

Compositionality: The Significant Difference, COMPOS'97

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli

Категория: Cs_Computer science, CsLn_Lecture notes

3.82 Mb

#4

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Freek Wiedijk, Oded Maler, Amir Pnueli

9.00 Mb

#5

The Temporal Logic of Reactive and Concurrent Systems: Specification

Zohar Manna, Amir Pnueli

2.80 Mb